FSM Error Messages

Error Messages Are Classifiers

This paper presents a lightweight process to guide error report authoring. We take the perspective that error reports are really classifiers of program information. They should therefore be subjected to the same measures as other classifiers (e.g., precision and recall). We formalize this perspective as a process for assessing error reports, describe our application of this process to an actual...

Usability of ERP Error Messages

Usability of complex information system like enterprise resource planning (ERP) system is still a challenging area. This is why many usability problems have been found in the ERP system. In this article, we tried to highlight the 21 usability problems in ERP error messages by using Nielsen’s heuristics and inquiry questionnaire methods. Nielsen’s heuristics is a better for finding a large numbe...

Top quality type error Messages

Improving type-error messages in functional languages

Although type systems do detect type errors in programs, they often produce uninformative error messages, that hardly give information about how to repair a program. One important shortcoming is the inability to highlight the most likely cause for the detected inconsistency. This paper presents a type inferencer with improved error reporting facilities, based on the construction of type constra...

Better Type-Error Messages Through Lazy Typing

Producing precise and helpful error messages for type inference is still a challenge for implementations of functional languages. Current approaches often lack precision in terms of locating the origins of type errors. Moreover, suggestions for how to fix type errors that are offered by some tools are also often vague or incorrect. To address this problem we have developed a new approach to ide...